Logical Form

Results: 91



#Item
21Andrea Bonomi Semantical remarks on the progressive reading of the imperfective1 Abstract. Since there are independent reasons for associating the habitual reading of the imperfective, in Italian, to a logical form based

Andrea Bonomi Semantical remarks on the progressive reading of the imperfective1 Abstract. Since there are independent reasons for associating the habitual reading of the imperfective, in Italian, to a logical form based

Add to Reading List

Source URL: filosofia.dipafilo.unimi.it

Language: English - Date: 2003-09-15 04:45:11
    22THE ART OF WRITING SCIENTIFIC PAPERS AND PROPOSALS Cin-Ty Lee (2009, updatedScientific writing is a form of logical communication and thinking. Good scientists are always strong writers. Strong writing skills help

    THE ART OF WRITING SCIENTIFIC PAPERS AND PROPOSALS Cin-Ty Lee (2009, updatedScientific writing is a form of logical communication and thinking. Good scientists are always strong writers. Strong writing skills help

    Add to Reading List

    Source URL: earthscience.rice.edu

    Language: English - Date: 2015-09-15 09:28:26
      23Prior, Berkeley, and the Barcan Formula James Levine Trinity College, Dublin In his 1955 paper “Berkeley in Logical Form”, A. N. Prior argues that in his so–called master

      Prior, Berkeley, and the Barcan Formula James Levine Trinity College, Dublin In his 1955 paper “Berkeley in Logical Form”, A. N. Prior argues that in his so–called master

      Add to Reading List

      Source URL: conference.prior.aau.dk

      Language: English - Date: 2014-08-18 11:50:05
        24SELECTIVE LEARNING IN THE ACQUISITION OF KANNADA DITRANSITIVES JOSHUA VIAU JEFFREY LIDZ

        SELECTIVE LEARNING IN THE ACQUISITION OF KANNADA DITRANSITIVES JOSHUA VIAU JEFFREY LIDZ

        Add to Reading List

        Source URL: ling.umd.edu

        Language: English - Date: 2012-03-22 11:34:40
        25Learning a Compositional Semantics for Freebase with an Open Predicate Vocabulary Tom M. Mitchell Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213

        Learning a Compositional Semantics for Freebase with an Open Predicate Vocabulary Tom M. Mitchell Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213

        Add to Reading List

        Source URL: aclweb.org

        Language: English - Date: 2015-05-22 15:12:54
        26Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies Santiago Figueira Daniel Gor´ın

        Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies Santiago Figueira Daniel Gor´ın

        Add to Reading List

        Source URL: www.glyc.dc.uba.ar

        Language: English - Date: 2013-08-19 18:50:17
        27Sage Reference Manual: Symbolic Logic Release 6.7 The Sage Development Team

        Sage Reference Manual: Symbolic Logic Release 6.7 The Sage Development Team

        Add to Reading List

        Source URL: doc.sagemath.org

        Language: English - Date: 2015-06-24 05:21:38
        28Two Sorts of Claims About “Logical Form”* The notion of logical form broadly construed has been central to the enterprise of analytic philosophy. Indeed, much of what we call analytic philosophy can be understood as

        Two Sorts of Claims About “Logical Form”* The notion of logical form broadly construed has been central to the enterprise of analytic philosophy. Indeed, much of what we call analytic philosophy can be understood as

        Add to Reading List

        Source URL: fas-philosophy.rutgers.edu

        Language: English - Date: 2011-03-21 20:18:34
          29Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog

          Skolemization in Simple Type Theory: the Logical and the Theoretical Points of View Gilles Dowek Peter Andrews has proposed, in 1971, the problem of finding an analog

          Add to Reading List

          Source URL: who.rocq.inria.fr

          Language: English - Date: 2011-01-28 11:35:50
          30GUARDED TRANSFORMATION FOR THE MODAL µ-CALCULUS FLORIAN BRUSE, OLIVER FRIEDMANN, AND MARTIN LANGE Abstract. Guarded normal form requires occurrences of fixpoint variables in a µ-calculus-formula to occur under the scop

          GUARDED TRANSFORMATION FOR THE MODAL µ-CALCULUS FLORIAN BRUSE, OLIVER FRIEDMANN, AND MARTIN LANGE Abstract. Guarded normal form requires occurrences of fixpoint variables in a µ-calculus-formula to occur under the scop

          Add to Reading List

          Source URL: files.oliverfriedmann.de

          Language: English - Date: 2013-05-03 12:27:57